課程名稱 |
電子設計自動化導論 Introduction to Electronic Design Automation |
開課學期 |
111-2 |
授課對象 |
學程 量子計算與資訊學程 |
授課教師 |
江介宏 |
課號 |
EE3012 |
課程識別碼 |
901 33700 |
班次 |
|
學分 |
3.0 |
全/半年 |
半年 |
必/選修 |
選修 |
上課時間 |
星期五7,8,9(14:20~17:20) |
上課地點 |
電二106 |
備註 |
總人數上限:60人 |
|
|
課程簡介影片 |
|
核心能力關聯 |
核心能力與課程規劃關聯圖 |
課程大綱
|
為確保您我的權利,請尊重智慧財產權及不得非法影印
|
課程概述 |
課程大綱:
1. Introduction
History, VLSI design flow, etc.
2. Basics of Computation Theory and Mathematical Optimization
3. Models of computation
Finite state machine, finite automata, Kahn process network, Petri net, neural network, etc.
4. High-level synthesis
Design space exploration, resource sharing, etc.
5. Logic synthesis
Technology independent optimization, technology mapping, technology dependent optimization, timing and power analysis, etc.
6. Verification
Combinational and sequential equivalence checking, property checking, etc.
7. Physical design
Floorplanning, placement, routing, etc.
8. Testing
Combinational and sequential ATPG, design for test, etc.
9. Advanced topics
Neural network synthesis, quantum circuit synthesis and simulation, etc. |
課程目標 |
Electronic Design Automation (EDA) concerns the correctness, reliability, productivity, and optimization of system construction. It is an interdisciplinary field, where electrical engineering and computer sciences intersect. In EDA, computer science methods (including algorithms, complexity, automata, logic, programming languages, etc.) finds rich and practical applications. On the other hand, some of the techniques developed in the EDA community have been much enhanced the state-of-the-art solvers on intractable computation problems in computer science. In this course we will study some representative problems and solutions making VLSI design an automatic process. In particular, we will cover system modeling, optimization, analysis, and verification. |
課程要求 |
|
預期每週課後學習時數 |
預修課程:
交換電路與邏輯設計 |
Office Hours |
|
指定閱讀 |
Course handouts |
參考書目 |
Textbook:
Electronic Design Automation: Synthesis, Verification, and Test, Laung-Terng Wang, Kwang-Ting (Tim) Cheng, and Yao-Wen Chang, editors, Morgan Kaufmann Publishers, 2009. |
評量方式 (僅供參考) |
No. |
項目 |
百分比 |
說明 |
1. |
Homework |
32% |
|
2. |
Midterm Exam |
30% |
|
3. |
Final Quiz |
10% |
|
4. |
Project |
25% |
|
5. |
Participation |
3% |
|
|
針對學生困難提供學生調整方式 |
上課形式 |
以錄影輔助 |
作業繳交方式 |
|
考試形式 |
|
其他 |
由師生雙方議定 |
|
週次 |
日期 |
單元主題 |
第1週 |
2/24 |
Introduction, Computation and Optimization |
第2週 |
3/3 |
Models of Computation |
第3週 |
3/10 |
High-Level Synthesis |
第4週 |
3/17 |
Logic Synthesis (1) |
第5週 |
3/24 |
Logic Synthesis (2) |
第6週 |
3/31 |
Verification (1) |
第7週 |
4/7 |
Verification (2) |
第8週 |
4/14 |
Midterm Exam |
第9週 |
4/21 |
Physical Design (1) |
第10週 |
4/28 |
Physical Design (2) |
第11週 |
5/5 |
Testing (1) |
第12週 |
5/12 |
Testing (2) |
第13週 |
5/19 |
Advanced Topics (1) |
第14週 |
5/26 |
Advanced Topics (2) |
第15週 |
6/2 |
Advanced Topics (3) |
第16週 |
6/9 |
Final Quiz, Project Presentation |
|